\newif\ifInputDVerbose \InputDVerbosefalse \catcode‘\ = 11 \newif\if@InputDList \@InputDListfalse \def\@InputDPrefix{@InputD-} \NameDef{\@InputDPrefix namedef.tip{ \def\InputD #1{% \if\NameDefinedConditional{\@InputDPrefix #1% \ifInputDVerbose \wlog{\string\InputD: file "#1" was read-in before.% \fi \else \NameDef{\@InputDPrefix #1{% \input #1 \if@InputDList \immediate\write\@InputDStream{#1}% \fi \fi \catcode‘\ = 12 \InputD{inputdl.tip

This document was generated on January 31, 2023 using texi2html 5.0.